The Categorification of a Symmetric Operad is Independent of Signature
نویسنده
چکیده
Given a symmetric operad P , and a signature (or generating sequence) Φ for P , we define a notion of the categorification (or weakening) of P with respect to Φ. When P is the symmetric operad whose algebras are commutative monoids, with the standard signature, we recover the notion of symmetric monoidal categories. We then show that this categorification is independent (up to equivalence) of the choice of signature.
منابع مشابه
Coherence for Categorified Operadic Theories
Given an algebraic theory which can be described by a (possibly symmetric) operad P , we propose a definition of the weakening (or categorification) of the theory, in which equations that hold strictly for P -algebras hold only up to coherent isomorphism. This generalizes the theories of monoidal categories and symmetric monoidal categories, and several related notions defined in the literature...
متن کاملSome dendriform functors
Wemake a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.
متن کاملThe categorified Diassociative cooperad
Using representations of quivers of type A, we define an anticyclic cooperad in the category of triangulated categories, which is a categorification of the linear dual of the Diassociative operad.
متن کاملThe Associative Operad and the Weak Order on the Symmetric Groups
The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra, related to the group basis by Möbius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each op...
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کامل